Optimality and Uniqueness of the Leech Lattice among Lattices
نویسنده
چکیده
We prove that the Leech lattice is the unique densest lattice in R. The proof combines human reasoning with computer verification of the properties of certain explicit polynomials. We furthermore prove that no sphere packing in R can exceed the Leech lattice’s density by a factor of more than 1 + 1.65 · 10, and give a new proof that E8 is the unique densest lattice in R .
منابع مشابه
Pieces of Eight: Semiselfdual Lattices and a New Foundation for the Theory of Conway and Mathieu Groups
We give a new and easy construction of the largest groups of Mathieu and Conway, as the full automorphism groups of the Golay code and Leech lattice, respectively. In addition we get a new uniqueness proof for the Leech lattice and the Golay code. The main technique is intensive use of semiselfdual sublattices: instead of rank 1 lattices as the basis for coordinate concepts, we use scaled versi...
متن کاملLocal Covering Optimality of Lattices : Leech Lattice versus Root Lattice E 8
The Leech lattice is the exceptional lattice in dimension 24. Soon after its discovery by Leech [9], it was conjectured that it is extremal for several geometric problems in R: the kissing number problem, the sphere packing problem, and the sphere covering problem. In 1979, Odlyzko and Sloane and independently Levenshtein solved the kissing number problem in dimension 24 by showing that the Lee...
متن کامل. M G ] 1 5 O ct 2 00 4 Local Covering Optimality of Lattices : Leech Lattice versus Root Lattice
We show that the Leech lattice gives a sphere covering which is locally least dense among lattice coverings. We show that a similar result is false for the root lattice E8. For this we construct a less dense covering lattice whose Delone subdivision has a common refinement with the Delone subdivision of E8. The new lattice yields a sphere covering which is more than 12% less dense than the form...
متن کاملN ov 2 00 4 Local Covering Optimality of Lattices : Leech Lattice versus Root Lattice
We show that the Leech lattice gives a sphere covering which is locally least dense among lattice coverings. We show that a similar result is false for the root lattice E8. For this we construct a less dense covering lattice whose Delone subdivision has a common refinement with the Delone subdivision of E8. The new lattice yields a sphere covering which is more than 12% less dense than the form...
متن کاملThe E 8 - lattice , the Leech lattice and beyond
In this elementary talk, we introduce basics about rational lattices and give examples. Some lattices are really good ones, notably the E8-lattice in dimension 8 and the Leech lattice in dimension 24. Both have remarkable finite isometry groups and give sphere packings of remarkably high minimum norms and high packing densities. Generalizations to higher dimensions have been considered, for exa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004